1. Hence, this solver is particularly useful for security properties of Java Card byte-code, access control features of mobile and discretionary ambients', and validation of protocol narrations in suitable algebra processes.

Daher ist dieser Problemlöser besonders für die Sicherheitsmerkmale des Byte-Codes der Java Card, für die Bewertung der Steuerungseigenschaften von mobilen und unbeschränkten Umgebungen sowie für die Validation der Protokollkommunikation in geeigneten Algebraprozessen von großem Nutzen.

2. Furthermore, the "order", the sequence of narrated events - either natural succession or sequence anachronism (prolepsis, i.e. anticipation); analepsis, a flashback) - and the "frequency", that is the repeated narration of identical or equivalent events - discussed.

Weiterhin wird die „Ordnung“, die Reihenfolge von erzählten Ereignissen – entweder natürliche zeitliche Abfolge oder Anachronie (Prolepse, ein Vorgriff; Analepse, eine Rückblende) – und die „Frequenz“, d. h. die wiederholte Erzählung identischer oder gleicher Ereignisse, abgehandelt.

3. Contrary to the initial impression that the narration of the analysand is to be understood as an expression of the past in a factual and historical sense, the detailed consideration of the literature about (re)construction and about the functioning of the memory leads to the conclusion that the dialog is modified by numerous variables: memories are changed by the affective contents of later added experiences.

Ausgehend von der These, dass sich zeitgeschichtliche Aspekte in Analysen in unscharfer Form abbilden, wird zu Beginn der Literatur zu Konstruktion und Rekonstruktion betrachtet sowie zu den neueren Auffassungen über die Funktionsweise unseres Gedächtnisses und damit auch der Bedingungen, unter denen Erinnerung im psychoanalytischen Prozess stattfindet.